mu($f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $f$(0) then 0 else mu(($\lambda$$x$.$f$($x$ + 1))) + 1 fi   \emph{(recursive)}